<?

function protect_mailto($href_mailto)
{
	$str_to_var = array("mail", "to:", "@");
	//
	$js_var_list = "";
	$js_href_mailto = $href_mailto;
	$js_href_mailto = str_replace("\"", "\\\"", $js_href_mailto);
	$js_href_mailto = str_replace("\n", "\\n", $js_href_mailto);
	//
	for ($i=0; $i<count($str_to_var); $i++)
	{
		$tmp = str_replace($str_to_var[$i], "\"+v$i+\"", $js_href_mailto);
		if ($js_href_mailto != $tmp)
			$js_var_list .= "var v$i = \"".$str_to_var[$i]."\";\n";
		$js_href_mailto = $tmp;
	}
	//
	return 
		"<script language=\"javascript\">\n".
		"<!--\n".
		$js_var_list.
		"document.write(\"".$js_href_mailto."\");\n".
		"//-->\n".
		"</script>";
}

$g_mailto_support =
	protect_mailto('<a href="mailto:support@w3monitor.com">support@w3monitor.com</a>');
$g_mailto_webmaster =
	protect_mailto('<a href="mailto:webmaster@w3monitor.com">webmaster@w3monitor.com</a>');
$g_mailto_management = 
	protect_mailto('<a href="mailto:management@w3monitor.com">management@w3monitor.com</a>');
$g_mailto_media = 
	protect_mailto('<a href="mailto:media@w3monitor.com">media@w3monitor.com</a>');
$g_mailto_partner = 
	protect_mailto('<a href="mailto:partner@w3monitor.com">partner@w3monitor.com</a>');
?>